老年人看护系统中常识推理的研究

根据老年人看护的需求,将常识推理运用到智能家庭老年人看护推理系统中,并将其与领域本体相结合,对系统实现的主要技术,即基于本体的常识表示与存储、规则的表示以及常识的推理进行探讨和构想,并通过典型应用实例验证了常识推理在老年人看护系统中的可行性、有效性及其重要性。     

Maximum likelihood analysis of algorithms and data structures

We present a new approach for an average-case analysis of algorithms and data structures that supports a non-uniform distribution of the inputs and is based on the maximum likelihood training of stochastic grammars. The approach is exemplified by an analysis of the expected size of binary tries as well as by three sorting algorithms and it is compared to the known results that were obtained by traditional techniques. Investigating traditional settings like the random permutation model, we rediscover well-known results formerly derived by pure analytic methods; changing to biased data yields original results. All but one step of our analysis can be automated on top of a computer-algebra system. Thus our new approach can reduce the effort required for an average-case analysis, allowing for the consideration of realistic input distributions with unknown distribution functions at the same time. As a by-product, our approach yields an easy way to generate random combinatorial objects according to various probability distributions.     

Algorithms for a realistic variant of flowshop scheduling

This paper deals with a realistic variant of flowshop scheduling, namely the hybrid flexible flowshop. A hybrid flowshop mixes the characteristics of regular flowshops and parallel machine problems by considering stages with parallel machines instead of having one single machine per stage. We also investigate the flexible version where stage skipping might occur, i.e., not all stages must be visited by all jobs. Lastly, we also consider job sequence dependent setup times per stage. The optimization criterion considered is makespan minimization. While many approaches for hybrid flowshops have been proposed, hybrid flexible flowshops have been rarely studied. The situation is even worse with the addition of sequence dependent setups. In this study, we propose two advanced algorithms that specifically deal with the flexible and setup characteristics of this problem. The first algorithm is a dynamic dispatching rule heuristic, and the second is an iterated local search metaheuristic. The proposed algorithms are evaluated by comparison against seven other high performing existing algorithms. The statistically sound results support the idea that the proposed algorithms are very competitive for the studied problem.     

Multi-item inventory model of breakable items with stock-dependent demand under stock and time dependent breakability rate

Items made of glass, ceramic, etc. are normally stored in stacks and get damaged during the storage due to the accumulated stress of heaped stock. These items are known as breakable items. Here a multi-item inventory model of breakable items is developed, where demands of the items are stock dependent, breakability rates increase linearly with stock and nonlinearly with time. Due to non-linearity and complexity of the problem, the model is solved numerically and final decisions are made using Genetic Algorithm (GA). In a particular case, model is solved analytically as well as numerically and results are compared. Models are developed with both crisp and uncertain inventory costs. For uncertain inventory costs both fuzzy and stochastic parameters are considered. A chance constrained approach is followed to deal with simultaneous presence of stochastic and fuzzy parameters. Different numerical examples are used to illustrate the problem for different cases.     

μC/OS-Ⅱ嵌入式操作系统实时性能分析与测量

以评价实时操作系统性能为目标,对时间参数的测量原理和方法进行了研究,以μC/OS-Ⅱ实时嵌入式操作系统为研究对象,分析其内核的实时机制及任务上下文切换时间、中断响应时间等实时性指标,给出了测量方法,并采用两种方法来获取时间参数,获得了一批嵌入式实时操作系统的数据,为实时性设计提供了参考。     

Exponential stability and exponential stabilization of singularly perturbed stochastic systems with time‐varying delay

In this paper, the problems of exponential stability and exponential stabilization for linear singularly perturbed stochastic systems with time‐varying delay are investigated. First, an appropriate Lyapunov functional is introduced to establish an improved delay‐dependent stability criterion. By applying free‐weighting matrix technique and by equivalently eliminating time‐varying delay through the idea of convex combination, a less conservative sufficient condition for exponential stability in mean square is obtained in terms of ε‐dependent linear matrix inequalities (LMIs). It is shown that if this set of LMIs for ε=0 are feasible then the system is exponentially stable in mean square for sufficiently small ε?0. Furthermore, it is shown that if a certain matrix variable in this set of LMIs is chosen to be a special form and the resulting LMIs are feasible for ε=0, then the system is ε‐uniformly exponentially stable for all sufficiently small ε?0. Based on the stability criteria, an ε‐independent state‐feedback controller that stabilizes the system for sufficiently small ε?0 is derived. Finally, numerical examples are presented, which show our results are effective and useful. Copyright © 2010 John Wiley & Sons, Ltd.     

A new design of delay‐dependent robust ℋ︁∞ filtering for continuous‐time polytopic systems with time‐varying delay

This paper revisits the problem of delay‐dependent robust ?_∞ filtering design for a class of continuous‐time polytopic linear systems with a time‐varying state delay. Based on a newly developed parameter‐dependent Lyapunov–Krasovskii functional combined with Projection Lemma and an improved free‐weighting matrix technique for delay‐dependent criteria, a new sufficient condition for robust ?_∞ performance analysis is first derived and then the filter synthesis is developed by using a simple matrix inequality linearization technique. It is shown that the desired filters can be constructed by solving a set of linear matrix inequalities. Finally, two simulation examples are given to show the effectiveness and less conservatism of the proposed method in comparison with the existing approaches. Copyright © 2009 John Wiley & Sons, Ltd.     

Improved delay‐dependent absolute stability and robust stability for a class of nonlinear systems with a time‐varying delay

This paper investigates the problem of the absolute stability of Lur'e systems with a time‐varying delay. By considering the relationships among the time‐varying delay, its upper bound, and the difference between them, less conservative delay‐dependent stability criteria are obtained and formulated in terms of linear matrix inequalities, without ignoring any useful terms in the derivative of a Lyapunov–Krasovskii functional. Numerical example shows that the results obtained in this paper are better than the previous results. Copyright © 2009 John Wiley & Sons, Ltd.     

形式背景的交约简

从拓扑的角度研究形式背景的属性约简问题。对于非决策形式背景,提出基于集合交集的属性约简的新的定义,并得出了交协调集的判定定理,证明了交协调集与概念格协调集是等价的;最后,讨论了带有决策的形式背景的属性约简问题。